1
Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
সাল:
2018
ভাষা:
english
ফাইল:
EPUB, 15.52 MB
0 / 5.0
english, 2018
2
Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
সাল:
2018
ভাষা:
english
ফাইল:
EPUB, 13.56 MB
0 / 0
english, 2018
3
Digitaltechnik — Eine praxisnahe Einführung

Digitaltechnik — Eine praxisnahe Einführung

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)
সাল:
2008
ভাষা:
german
ফাইল:
PDF, 1.63 MB
0 / 0
german, 2008
4
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Daniel Kroening, Corina S. Păsăreanu (eds.)
সাল:
2015
ভাষা:
english
ফাইল:
PDF, 16.66 MB
0 / 0
english, 2015
5
Digitaltechnik — Eine praxisnahe Einfuhrung

Digitaltechnik — Eine praxisnahe Einfuhrung

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)
সাল:
2008
ভাষা:
german
ফাইল:
PDF, 2.45 MB
0 / 0
german, 2008
7
Decision Procedures_ An Algorithmic Point

Decision Procedures_ An Algorithmic Point

Kroening, Daniel
ফাইল:
PDF, 3.72 MB
0 / 0
9
Digitaltechnik — Eine praxisnahe Einführung

Digitaltechnik — Eine praxisnahe Einführung

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)
সাল:
2008
ভাষা:
german
ফাইল:
PDF, 1.59 MB
0 / 5.0
german, 2008
11
Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Daniel Kroening, Ofer Strichman (auth.)
সাল:
2016
ভাষা:
english
ফাইল:
PDF, 3.72 MB
0 / 0
english, 2016
12
Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Daniel Kroening, Ofer Strichman
সাল:
2016
ভাষা:
english
ফাইল:
PDF, 2.43 MB
0 / 0
english, 2016
13
Validation of Evolving Software

Validation of Evolving Software

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina (eds.)
সাল:
2015
ভাষা:
english
ফাইল:
PDF, 7.14 MB
0 / 0
english, 2015
14
Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Daniel Kroening, Ofer Strichman
সাল:
2008
ভাষা:
english
ফাইল:
PDF, 3.45 MB
0 / 0
english, 2008
16
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Daniel Kroening, Corina S. Păsăreanu (eds.)
সাল:
2015
ভাষা:
english
ফাইল:
PDF, 34.03 MB
0 / 0
english, 2015
17
Decision procedures : an algorithmic point of view

Decision procedures : an algorithmic point of view

Daniel Kroening, Ofer Strichman, R.E. Bryant
সাল:
2008
ভাষা:
english
ফাইল:
PDF, 2.20 MB
0 / 0
english, 2008